Received: by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.6)
id AA29952; Tue, 6 Dec 94 06:53:49 PST
Received: from tuminfo2.informatik.tu-muenchen.de by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.6)
id AA29938; Tue, 6 Dec 94 06:53:00 PST
Received: from hphalle0.informatik.tu-muenchen.de ([131.159.4.1]) by tuminfo2.informatik.tu-muenchen.de with ESMTP id <61-1>; Tue, 6 Dec 1994 15:52:20 +0100
Received: by hphalle0.informatik.tu-muenchen.de id <209174-1>; Tue, 6 Dec 1994 15:52:11 +0100
From: Frank Wuerkner <wuerkner@informatik.tu-muenchen.de>